home *** CD-ROM | disk | FTP | other *** search
/ Best Tools for JAVA / Best Tools for JAVA.iso / JAVA_ALL / JAVA_102 / HOTJAV~1.Z / HOTJAV~1 / HotJava / bin / hotjava
Encoding:
Text File  |  1996-04-30  |  1.5 KB  |  84 lines
  1. #!/bin/sh
  2.  
  3. #
  4. # Determine HOTJAVA_HOME
  5. #
  6.  
  7. if [ -z "$HOTJAVA_HOME" ] ; then
  8.     HOTJAVA_HOME=`dirname $0`
  9.     HOTJAVA_HOME=`cd $HOTJAVA_HOME/.. ; /bin/pwd`
  10.     echo "HOTJAVA_HOME is set to $HOTJAVA_HOME"
  11. fi
  12.  
  13. if [ ! -d "$HOTJAVA_HOME" ] ; then
  14.     echo "Invalid HOTJAVA_HOME: $HOTJAVA_HOME" 1>&2 
  15.     exit 1
  16. fi
  17.  
  18. if [ ! -r "$HOTJAVA_HOME/lib/properties" ] ; then
  19.     echo "Could not read properties file: $HOTJAVA_HOME/lib/properties" 1>&2 
  20.     exit 1
  21. fi
  22.  
  23. #
  24. # Set Paths
  25. #
  26.  
  27. export CLASSPATH
  28. if [ -z "$CLASSPATH" ] ; then
  29.     CLASSPATH="$HOTJAVA_HOME/classes:$HOTJAVA_HOME/lib/classes.zip"
  30. else
  31.     CLASSPATH="$HOTJAVA_HOME/classes:$HOTJAVA_HOME/lib/classes.zip:$CLASSPATH"
  32. fi
  33.  
  34. ARCH=`uname -p`
  35.  
  36. export PATH
  37. PATH="$HOTJAVA_HOME/bin:$PATH"
  38.  
  39. export LD_LIBRARY_PATH
  40. LD_LIBRARY_PATH="$HOTJAVA_HOME/lib/$ARCH:$LD_LIBRARY_PATH"
  41.  
  42. #
  43. # Create .hotjava directory
  44. #
  45.  
  46. if [ ! -d "$HOME/.hotjava" ] ; then
  47.     echo "Creating $HOME/.hotjava directory"
  48.     /usr/bin/mkdir -p $HOME/.hotjava
  49. fi
  50.  
  51. #
  52. # Parse arguments
  53. #
  54.  
  55. prog=java
  56. for a in $* ; do
  57.    case "$a" in 
  58.     -debug) prog=jdb    ;;
  59.     -*) opts="$opts $a" ;;
  60.     *)  args="$args $a" ;;
  61.    esac
  62. done
  63.  
  64. #
  65. # Select a java interpreter
  66. #
  67. JAVA="$HOTJAVA_HOME/bin/$ARCH/$prog"
  68. if [ ! -x "$JAVA" ] ; then
  69.     echo "Can't execute: $JAVA" 1>&2 
  70.     exit 1
  71. fi
  72.  
  73. #
  74. # Add WWW_HOME option
  75. #
  76. if [ ! -z "$WWW_HOME" ] ; then
  77.     opts="$opts -Dwww.home=$WWW_HOME"
  78. fi
  79.  
  80. #
  81. # Start HotJava
  82. #
  83. exec $JAVA -classpath $CLASSPATH -verbosegc -noasyncgc -ms4m -mx32m -Dhotjava.home=$HOTJAVA_HOME $opts sun.hotjava.Main $args
  84.